Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs
نویسندگان
چکیده
Accesion For NTIS CRA&I DTIC TAB Unannounced Justification,^^-,
منابع مشابه
On the representational power of bit-level and word-level decision diagrams
Abstract| Several types of Decision Diagrams (DDs) have have been proposed in the area of Computer Aided Design (CAD), among them being bit-level DDs like OBDDs, OFDDs and OKFDDs. While the aforementioned types of DDs are suitable for representing Boolean functions at the bit-level and have proved useful for a lot of applications in CAD, recently DDs to represent integer-valued functions, like ...
متن کاملChiba , January 1997 On the Representational Power ofBit - Level and Word - Level Decision
| Several types of Decision Diagrams (DDs) have have been proposed in the area of Computer Aided Design (CAD), among them being bit-level DDs like OBDDs, OFDDs and OKFDDs. While the aforementioned types of DDs are suitable for representing Boolean functions at the bit-level and have proved useful for a lot of applications in CAD, recently DDs to represent integer-valued functions , like MTBDDs ...
متن کاملApplications of Multi-Terminal Binary Decision Diagrams
Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We discuss the relationship between these methods and describe a generalization called hybrid decision diagrams which is often much more concise. The Walsh transform and Reed-Muller transform have ...
متن کاملNumeric Function Generators Using Decision Diagrams for Discrete Functions
This paper introduces design methods for numeric function generators (NFGs) using decision diagrams. NFGs are hardware accelerators to compute values of numeric functions such as trigonometric, logarithmic, square root, and reciprocal functions. Most existing design methods for NFGs are intended only for a specific class of numeric functions. However, by using decision diagrams for discrete fun...
متن کاملManipulation of *BMDs
| Multiplicative Binary Moment Diagrams (*BMDs) have recently been introduced as a data structure for veri cation. Using *BMDs it was for the rst time possible to verify multiplier circuits with up to 256 bits. In this paper we use a modi cation of *BMDs, called positive *BMDs (p*BMDs), that allows to apply dynamic variable ordering, that is the most promising minimization technique for decisio...
متن کامل